Implementing an OCL 2.0 Compiler for Metamodeling Environments
نویسندگان
چکیده
The Unified Modeling Language (UML) has become a standard in modeling, but it cannot express all the necessary modeling information between the model items. Object Constraint Language (OCL) is used to extend the capabilities of UML diagrams, and define constraints for the model items. The combination of UML and OCL can be used to realize vision of OMG’s Model Driven Architecture (MDA). OCL is based on, but not limited to UML modeling diagrams, therefore, it can be used also in generic metamodeling environments to validate the models. This paper presents the concepts of an OCL 2.0 compliant compiler for metamodeling environments. An illustrative case study is also provided.
منابع مشابه
An optimizing OCL Compiler for Metamodeling and Model Transformation Environments
Constraint specification and validation lie at tlie heart of modeling and model transformation. The Object Constraint Language (OCL) is a wide-spread formalism to express constraints in modeling environments. There are several interpreters and compilers that handle OCL constraints in modeling, but these tools do not support constraint optimization, therefore, the model validation can be slow. T...
متن کاملOn OCL as part of the metamodeling framework MOFLON
The metamodeling framework MOFLON combines MOF 2.0, OCL 2.0 and graph transformations to generate sophisticated metamodel implementations. In this paper we describe the role of OCL in MOFLON. Furthermore, we present a set of constraints which corrects, completes and improves MOF 2.0 for the application as graph schema language.
متن کاملOCL 2.0 - Implementing the Standard for Multiple Metamodels
OCL 2.0 is the newest version of the OMG’s constraint language to accompany their suit of Object Oriented modelling languages. The use of OCL as an accompanying constraint and query language to modelling with these languages is essential. As tools are built to support the modelling languages, it is also necessary to implement the OCL. This paper reports our experience of implementing OCL based ...
متن کاملImplementing an OCL Compiler for .NET
Model-Driven Architecture standardized by OMG facilitates separating the platform-independent part (PIM) and the platform-specific part (PSM) of a system model. The platform-independent artifacts are mainly UML models created with CASE tools. Due to this separation, PIM specified by the developers can be reused across several implementation platforms of the software. PSM is ideally generated au...
متن کاملAn Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework
In the Model-Driven Architecture initiative, software artefacts are represented by means of models that can be manipulated. Such manipulations can be performed by means of transformations and queries. The standard Query/Views/Transformations and the standard language OCL are becoming suitable languages for these purposes. This paper presents an algebraic specification of the operational semanti...
متن کامل